Das Nürnberger Anti-Phishing-Device: Beweisbare Korrektheit durch Einfachheit
نویسنده
چکیده
Angriffe gegen das Online-Banking richten sich meist gegen den Rechner des Benutzers, sodass externe Geräte zum Schutz von Transaktionen verwendet werden. In diesem Beitrag wird das Nürnberger AntiPhishing Device vorgestellt, das eine sichere Umgebung für die Erstellung digital unterschriebender Transaktionszusammenfassungen umsetzt. Durch die Beschränkung der Funktionalität auf des minimal Notwendige, ist eine formale Verifikation der Software möglich.
منابع مشابه
Formvariables Oberflächenmodell zur Segmentierung pathologischer Kniegelenke aus medizinischen Bilddaten
Zusammenfassung. Effizienz, Vergleichbarkeit und Einfachheit sind Hauptaspekte für eine langfristige Benutzerakzeptanz von chirurgischen Planungssystemen. Automatische Segmentierung und Identifizierung von Referenzgeometrien von anatomischen Strukturen sind eine Voraussetzung, um diese zukünftigen Anforderungen zu erfüllen. Auf Basis von 235 Oberflächengeometrien gesunder und degenerierter Knie...
متن کاملSecure Web Services für ambiente eingebettete Systeme
„Der technische Fortschritt hat den Menschen nicht nur eine bequeme stets zugängliche Welt zum Konsum eröffnet, er hat auch Raum für Kriminelle gelassen, die auch die kleinsten Schlupflöcher ausnutzen“ – FBI Special Agent DAPHNE HEARN • Steigende Komplexität der Systeme Steigende Komplexität der Angriffe • Beispiele: • Phishing beim Onlinebanking • USA: Durch Schwachstelle konnten Täter das V...
متن کاملModellbasierter Komponententest mit visuellen Kontrakten
Das Verhalten von quasimodalen Klassen ist abhängig von dem Systemzustand, in dem sie ausgeführt werden. Beim Testen von quasimodalen Klassen muss der Systemzustand so gesetzt werden, damit die zu testende Klasse ausgeführt werden kann. Nach der Testausführung müssen die Änderungen im Systemzustand evaluiert und so die Korrektheit des Verhaltens der Klasse gegenüber ihrer Spezifikation geprüft ...
متن کاملStellungnahme der Jury für die Morpholympics 94
Mit der ersten Morpholympics wurde hinsichtlich der Bewertung linguistischer Softwaretools sowohl bei den Testmaterialien als auch bei den Bewertungskriterien Neuland betreten. Wie bei einer Olympiade sollte sich die Jury für ein Siegersystem entscheiden, gegebenenfalls ein oder zwei weitere Systeme auf weiteren Siegerplätzen rangieren. Anders aber als im sportlichen Bereich stehen bei linguist...
متن کاملProfessionelles Testmanagement in Datenreinigungsprozessen
In diesem Beitrag wird das Testmanagement bei Maßnahmen zur Qualitätsverbesserung in Datenbeständen behandelt. Hierbei fließen vorwiegend Erfahrungen aus Projekten bei Erstund Rückversicherungen, Rentenversicherungsträgern und in der öffentlichen Verwaltung ein. Dies sind Bereiche, in denen die Speicherung und Verfügbarkeit der Daten aus vielen Jahrzehnten notwendig ist. Naturgemäß werden diese...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softwaretechnik-Trends
دوره 36 شماره
صفحات -
تاریخ انتشار 2016